Exercise 6.9